First-order solitons with internal structures in an extended Maxwell- CP(2) model
نویسندگان
چکیده
منابع مشابه
On First Order Generalized Maxwell Equations
The generalized Maxwell equations including an additional scalar field are considered in the first order formalism. The gauge invariance of the Lagrangian and equations is broken resulting the appearance of a scalar field. We find the canonical and symmetric energy momentum tensors. It is shown that the trace of the symmetric energymomentum tensor is not equal to zero in the theory considered. ...
متن کاملExtended First-Order Logic
We consider the EFO fragment of simple type theory, which restricts quantification and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: complete proof systems, compactness, and countable models. We obtain these results with an analytic tableau system and a concomitant model ex...
متن کاملFirst-Order Atom Definitions Extended
We extend the notion of atom definitions in first-order formulae by guards. These are conditions restricting the atom definition in a form that frequently occurs in many application areas of automated theorem proving. We give a sufficient and complete criterion for a formula to contain such a definition and provide an effective algorithm to actually retrieve the definition in an applicable form...
متن کاملSkyrme-Maxwell solitons in 2+1 dimensions.
A gauged (2+1)-dimensional version of the Skyrme model is investigated. The gauge group is U(1) and the dynamics of the associated gauge potential is governed by a Maxwell term. In this model there are topologically stable soliton solutions carrying magnetic flux which is not topologically quantized. The properties of rotationally symmetric solitons of degree one and two are discussed in detail...
متن کاملAn Extended Theory of Primitive Objects: FIrst Order System
We investigate a rst-order extension of the Theory of Primitive Objects of 5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review D
سال: 2019
ISSN: 2470-0010,2470-0029
DOI: 10.1103/physrevd.99.056014